تعداد ۱ پاسخ غیر تکراری از ۱ پاسخ تکراری در مدت زمان ۵,۶۷ ثانیه یافت شد.

1. 28, 2010. Revised Selected Papers-WITS 2010, Paphos, Cyprus,March 27-Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA

پدیدآورنده : / Flemming Nielson, Han Gao (auth.), Alessandro Armando, Gavin Lowe (eds.)

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع : ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, HARDWARE

رده :

E-BOOK

»
1
«

این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است